11 results
In Memoriam: Ernst Specker 1920–2011
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-417
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
Hans Hermes. Einführung in die mathematische Logik. Klassische Prädikatenlogik. Third, revised and expanded edition of XXX 355. B. G. Teubner, Stuttgart 1972, 206 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 647
- Print publication:
- December 1973
-
- Article
- Export citation
Hans Hermes. Einführung in die mathematische Logik. Klassische Prädikatenlogik. Second edition, revised and expanded, of XXX 355. B. G. Teubner, Stuttgart1969, 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
- Print publication:
- September 1973
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. On the representation of Herbrand functions in algebraically closed fields. The journal of symbolic logic, vol. 22 (1957), pp. 187–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
- Print publication:
- March 1970
-
- Article
- Export citation
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language Lαβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
- Print publication:
- 25 July 1969
-
- Article
- Export citation
A. Ehrenfeucht. An application of gaṁes to the completeness problem for formalized theories. Fundamenta mathematicae, vol. 49 (1960), pp. 129–141.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
- Print publication:
- August 1967
-
- Article
- Export citation
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 (1954), pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 (1954), pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 15–60. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. II. Application aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 273–295. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. III. Comparison des parentés introduites dans la premiére partie avec des parentés précédemment étudiées. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 3 (1956), pp. 143–159. - Roland Fraïssé. Application des γ-opérateurs au calcul logique du premier échelon. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 76–92. - Roland Fraïssé. Étude de certains opérateurs dans les classes de relations, définis à partir d'isomorphismes restreints. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 59–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-281
- Print publication:
- August 1967
-
- Article
- Export citation
Solomon Feferman. Some recent work of Ehrenfeucht and Fraïssé. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 201–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
- Print publication:
- August 1967
-
- Article
- Export citation
Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 (1958), pp. 541–556.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
- Print publication:
- December 1966
-
- Article
- Export citation
Shôji Maehara. Remark on Skolem's theorem concerning the impossibility of characterization of the natural number sequence. Proceedings of the Japan Academy, vol. 33 (1957), pp. 588–590.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
- Print publication:
- December 1966
-
- Article
- Export citation
Shôji Maehara and Gaisi Takeuti. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 357–370.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- December 1962
-
- Article
- Export citation